Benevides, Mario: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

DaLÃ - Dynamic Logic, new trends and applications

Benevides, Mario R.F., Madeira, Alexandre

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

Language:

english

File:

PDF, 148 KB

english, 2020

2

Qual o sentido da educação? Leituras clássicas na construção do pensamento sociológico: Karl Marx, Max Weber, Florestan Fernandes e Simon Schwartzman

Rogério, Radamés, Benevides, Mário

Journal:

Imagens da Educação

Year:

2011

File:

PDF, 206 KB

2011

3

[IEEE 2011 IEEE International Symposium on Circuits and Systems (ISCAS) - Rio de Janeiro, Brazil (2011.05.15-2011.05.18)] 2011 IEEE International Symposium of Circuits and Systems (ISCAS) - A pseudo-online Brain-Computer Interface with automatic choice for EEG channel and frequency

Benevides, Alessandro B., Bastos, Teodiano F., Sarcinelli Filho, Mario

Year:

2011

Language:

english

File:

PDF, 404 KB

english, 2011

4

[IEEE 2011 ISSNIP Biosignals and Biorobotics Conference: Biosignals and Robotics for Better and Safer Living (BRC) - Vitoria, Brazil (2011.01.6-2011.01.8)] ISSNIP Biosignals and Biorobotics Conference 2011 - Pseudo-online classification of mental tasks

Benevides, Alessandro B., Bastos, Teodiano F., Sarcinelli-Filho, Mario

Year:

2011

Language:

english

File:

PDF, 487 KB

english, 2011

5

On Fork Arrow Logic and Its Expressive Power

Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides and Sheila R. M. Veloso

Journal:

Journal of Philosophical Logic

Year:

2007

Language:

english

File:

PDF, 1.44 MB

english, 2007

6

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Mario R.F. Benevides, Renata de Freitas, Petrucio Viana

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 251 KB

english, 2011

7

Preface

Belo Horizonte, Elaine Pimentel, Mario Benevides

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 98 KB

english, 2009

8

Contribution of basal and aerial tillers to forage production dynamics in Tifton-85 bermudagrass irrigated with fishpond wastewater and fertilized with NPK

Almeida, Bruno Augusto De Souza, Mistura, Claudio, Nunes, Timóteo Silva dos Santos, Borges, Rodrigo Oliveira, Queiroz, Mário Adriano Ávila, Oliveira, Gilmara Moreira de, Araújo, Eder Jofry Benevides,

Journal:

Semina Ciências Agrárias

Year:

2017

File:

PDF, 911 KB

2017

9

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - Mechanisms for specifying communication behavior in object oriented database systems

Pires, Paulo F., Benevides, Mário Roberto F., Mattoso, Marta

Year:

2000

Language:

english

File:

PDF, 765 KB

english, 2000

10

Bisimilar and Logically Equivalent Programs in PDL

Benevides, Mario R.F.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 282 KB

english, 2014

11

On a Graph Approach to Modal Logics

Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 293 KB

english, 2014

12

A Constructive Presentation for the Modal Connective of Necessity (□)

BENEVIDES, MARIO R. F., MAIBAUM, THOMAS S. E.

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 838 KB

english, 1992

13

[Society of Exploration Geophysicists and Brazilian Geophysical Society 12th International Congress of the Brazilian Geophysical Society & EXPOGEF, Rio de Janeiro, Brazil, 15-18 August 2011 - Rio de Janeiro, Brazil (15 August to 18 August)] 12th International Congress of the Brazilian Geophysical Society & EXPOGEF, Rio de Janeiro, Brazil, 15–18 August 2011 - Modeling of aero data (magnetic and electromagnetic) of Cristalino Cu-Au Deposit, Carajás, Pará, Brazil

Almeida, Mário Paes de, Huelsen, Mônica Giannoccaro Von, Takenaka, Giancarlo, Rocha, Amanda Almeida, Filho, Umberto José Travaglia, Coelho-Silva, Aline T. M., Freitas, Cantidiano, Aires, Benevides

Year:

2011

Language:

english

File:

PDF, 1.68 MB

english, 2011

14

[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 10669 || A Dynamic Informational-Epistemic Logic

Madeira, Alexandre, Benevides, Mário

Year:

2018

Language:

english

File:

PDF, 444 KB

english, 2018

15

[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 10669 || Dynamic Preference Logic as a Logic of Belief Change

Madeira, Alexandre, Benevides, Mário

Year:

2018

Language:

english

File:

PDF, 308 KB

english, 2018

16

Populational Announcement Logic (PPAL)

Machado, Vitor, Benevides, Mario

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 298 KB

2020

17

Modulation of acute inflammation by a chitin-binding lectin fromAraucaria angustifoliaseeds via mast cells

Mário R. L. Mota, David N. Criddle, Nylane M. N. Alencar, Raphaela C. Gomes, Ana V. P. Meireles, Tatiane Santi-Gadelha, Carlos A. A. Gadelha, Cecília C. Oliveira, Raquel G. Benevides, Benildo S. Cavad

Journal:

Naunyn-Schmiedeberg's Archives of Pharmacology

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

18

ORAL SARCOID LESION ASSOCIATED WITH DISCOID LUPUS ERYTHEMATOSUS: A CASE REPORT

VERDE, MARIA ELISA QUEZADO LIMA, NASCIMENTO, ISABELLY VIDAL DO, MACIEL, MARIANA ARAUJO, BENEVIDES, BRENO SOUSA, SOUSA, FABRÍCIO BITU, ALVES, ANA PAULA NEGREIROS NUNES, MOTA, MÁRIO ROGÉRIO LIMA

Journal:

Oral Surgery Oral Medicine Oral Pathology and Oral Radiology

Year:

2017

Language:

english

File:

PDF, 157 KB

english, 2017

19

Pharmacological analysis of the neutrophil migration induced by D. rostrata lectin: Involvement of cytokines and nitric oxide

Jozi G. Figueiredo, Flávio S. Bitencourt, Mário R.L. Mota, Priscila P. Silvestre, Cibele N. Aguiar, Raquel G. Benevides, Kyria S. Nascimento, Tales R. de Moura, Daniela Dal-Secco, Ana M.S. Assreuy, Fe

Journal:

Year:

2009

Language:

english

File:

PDF, 367 KB

english, 2009

20

Epistemic Logics with Structured Knowledge

Madeira, Alexandre, Martins, Manuel A., Benevides, Mario R.F.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 241 KB

english, 2019

21

A study on multi-dimensional products of graphs and hybrid logics

Mario R.F. Benevides, L. Menasché Schechter

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 513 KB

english, 2011

22

[IEEE 2011 IEEE 20th International Symposium on Industrial Electronics (ISIE) - Gdansk, Poland (2011.06.27-2011.06.30)] 2011 IEEE International Symposium on Industrial Electronics - Proposal of Brain-Computer Interface architecture to command a robotic wheelchair

Benevides, Alessandro B., Bastos, Teodiano F., Sarcinelli Filho, Mario

Year:

2011

Language:

english

File:

PDF, 734 KB

english, 2011

23

Facial Diffuse Large B-Cell Lymphoma: Case Report

BENEVIDES, BRENO SOUZA, ALVES, ANA PAULA NEGREIROS NUNES, MOTA, MÁRIO ROGÉRIO LIMA, DE OLIVEIRA, FRANCISCO ARTUR FORTE, DO PATROCÍNIO, RÉGIA MARIA DO SOCORRO VIDAL, DE SOUSA LOPES, MARIANA CANUTO MELO

Journal:

Oral Surgery Oral Medicine Oral Pathology and Oral Radiology

Year:

2015

Language:

english

File:

PDF, 51 KB

english, 2015

24

On Graph Calculi for Multi-modal Logics

Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 357 KB

english, 2015

25

Preface

Benevides, Mario, Thiemann, René

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 102 KB

english, 2016

26

Extending Propositional Dynamic Logic for Petri Nets

Lopes, Bruno, Benevides, Mario, Haeusler, Edward Hermann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

27

Squares in Fork Arrow Logic

Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso and Paulo A. S. Veloso

Journal:

Journal of Philosophical Logic

Year:

2003

Language:

english

File:

PDF, 1.28 MB

english, 2003

28

On Fork Arrow Logic and its Expressive Power

Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides, Sheila R. M. Veloso

Journal:

Journal of Philosophical Logic

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

29

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach

Benevides, Mario, Lopes, Bruno, Haeusler, Edward Hermann

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 950 KB

english, 2018

30

A Family of Graded Epistemic Logics

Benevides, Mario R.F., Madeira, Alexandre, Martins, Manuel A.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 277 KB

english, 2018

31

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems

Mario Benevides, Carla Delgado, Carlos Pombo, Luis Lopes, Ricardo Ribeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 405 KB

english, 2008

32

A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus

Mario R.F. Benevides, L. Menasché Schechter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 336 KB

english, 2010

33

Modal Expressiveness of Graph Properties

Mario R.F. Benevides, L. Menasché Schechter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 348 KB

english, 2008

34

[IEEE NAFIPS 2011 - 2011 Annual Meeting of the North American Fuzzy Information Processing Society - El Paso, TX, USA (2011.03.18-2011.03.20)] 2011 Annual Meeting of the North American Fuzzy Information Processing Society - K, T and D-like fuzzy Kripke models

Bedregal, Benjamin, Santiago, Regivan H. N., Benevides, Mario, Viana, Petrucio

Year:

2011

Language:

english

File:

PDF, 695 KB

english, 2011

35

Abandono do tratamento da tuberculose pulmonar em Cuiabá - MT - Brasil

Ferreira, Silvana Margarida Benevides, Silva, Ageo Mário Cândido da, Botelho, Clóvis

Journal:

Jornal Brasileiro de Pneumologia

Year:

2005

Language:

english

File:

PDF, 73 KB

english, 2005

36

Design of a general brain-computer interface

Benevides, Alessandro B., Sarcinelli-Filho, Mário, Bastos Filho, Teodiano F.

Journal:

Sba: Controle & Automação Sociedade Brasileira de Automatica

Year:

2011

Language:

english

File:

PDF, 6.23 MB

english, 2011

37

A priority dynamics for generalized drinking philosophers

Valmir C. Barbosa, Mario R.F. Benevides, Ayru L. Oliveira Filho

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 100 KB

english, 2001

38

Influence of Education Level on Oral Cancer Survival in a Brazilian Population: A Retrospective Study of 10 Years in a Tertiary Institution

BORGES, CAMILA PONCHET, FÉLIX, LUAN CARTAXO, VIANA, THALES SALLES ANGELIM, BENEVIDES, BRENO SOUZA, BRIZENO, LUIZ ANDRÉ CAVALCANTE, MOTA, MÁRIO ROGÉRIO LIMA, SOUSA, FABRÍCIO BITU

Journal:

Oral Surgery Oral Medicine Oral Pathology and Oral Radiology

Year:

2015

Language:

english

File:

PDF, 51 KB

english, 2015

39

Preface

de Paiva, Valeria, Benevides, Mario, Nigam, Vivek, Pimentel, Elaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

40

On a graph calculus for modalities

Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 665 KB

english, 2017

41

Atmospheric Pollution Exposure Increases Disease Activity of Systemic Lupus Erythematosus

Blaskievicz, Paula Henriques, Silva, Ageo Mario Candido, Fernandes, Vander, Junior, Osvaldo Borges Pinto, Shimoya-Bittencourt, Walkiria, Ferreira, Silvana Margarida Benevides, da Silva, Cristhiane Alm

Journal:

International Journal of Environmental Research and Public Health

Year:

2020

Language:

english

File:

PDF, 468 KB

english, 2020

42

Product of Graphs and Hybrid Logic

Mario R.F. Benevides, L. Menasché Schechter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

43

Bisimilar and logically equivalent programs in PDL with parallel operator

Benevides, Mario

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 614 KB

english, 2017

44

[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 10669 ||

Madeira, Alexandre, Benevides, Mário

Year:

2018

Language:

english

File:

PDF, 4.67 MB

english, 2018

45

Persistent pre-sleep behaviour and paroxysmal sweating with a stab lodged in the head

Margherita Fabbri, Roberto Vetrugno, João Eudes Magalhães, Joaquim José de Souza Costa-Neto, Indira Luz Benevides, Mario Mascalchi, Pasquale Montagna

Journal:

Journal of Neurology

Year:

2010

Language:

english

File:

PDF, 189 KB

english, 2010

46

[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 10669 || Layered Logics, Coalgebraically

Madeira, Alexandre, Benevides, Mário

Year:

2018

Language:

english

File:

PDF, 307 KB

english, 2018

47

Dynamic Epistemic Logic with Communication Actions

Folhadela Benevides, Mario Roberto, Macalam Saab Lima, Isaque

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 408 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски